相伯研讨班第13期 | Why Univalence Matters

VOL.3048

为促进国内外哲学研究的交流和合作，呈现学术研究的最新进展，复旦大学哲学学院科学哲学与逻辑学系特设立相伯研讨班。该研讨班取名“相伯”，旨在纪念复旦大学创始人马相伯先生，继承其“自由研究，自主立人”精神。相伯研讨班以科学哲学与逻辑学系师生为主体，依托复旦大学哲学学院，将会定期邀请国内外优秀学者报告研究成果，开展学术研讨，汇聚思想潮流，促成学科发展。

相伯研讨班 · 第十三期

  主题：

Why Univalence Matters

  主讲人：

陈 路 

（南加州大学哲学系助理教授）

  主持人：

苏无忌 

（复旦大学哲学学院博士生）

  评论人：

杨睿之

 （复旦大学哲学学院副教授）

韦南昕 

（伯明翰大学博后研究员）

  时间：

2023.10.31（周二）15:00

  地点：

光华楼西主楼2401

腾讯会议：677 508 409

会议密码：200433

主讲人简介

陈路

陈路，南加州大学哲学系助理教授，专长于数学形而上学和物理哲学。主要研究时空哲学，特别感兴趣于探讨关于时空问题的新的物理和形而上基础，并已发表了关于无穷小几何、离散时空和代数进路等主题的多篇文章。

主持人简介

苏无忌

苏无忌，复旦大学科学哲学与逻辑学系博士研究生。研究领域为一般科学哲学，物理学哲学，因果建模，智能哲学，形式知识论等。

评论人简介

杨睿之

杨睿之，复旦大学哲学学院逻辑学专业副教授。研究兴趣包括数理逻辑、数学哲学，尤其是集合论与递归论相关的哲学问题。

韦南昕

韦南昕，英国伯明翰大学博后研究员。主要研究兴趣为科学认识论、科学形而上学和物理哲学，尤其是应用数学、统计物理、复杂系统相关的哲学问题。

讲座摘要

The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations (UF), which feature the axiom that all isomorphic structures are identical, offer such a foundation and are more attractive than other proposed structuralist frameworks. Furthermore, I delve into the significance in the case of the hole argument and the nature of symmetries.

编辑 | 杨珮北樱

审核 | 蒋玉婷

责任编辑丨汤克凤 隋艺菲